hasloc($k$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg_{2}$isrcv($k$) $\wedge_{2}$ $\neg_{2}$destination(lnk($k$)) = $i$